typedef unsigned char   bool;
typedef unsigned char   int8u_t;
typedef char            int8s_t;
typedef unsigned short  int16u_t;
typedef short           int16s_t;
typedef unsigned long   int32u_t;
typedef long            int32s_t;
typedef long long       int64s_t;
typedef float           fp32_t;
typedef double          fp64_t;

//typedef int32u_t        os_stk_t;


#ifndef false
#define false               0
#endif

#ifndef true
#define true                1
#endif

#ifndef NULL
#define NULL                0
#endif

// compiler specific ISR prototypes-----
#define qos_enter_critical()    qqos_enable_timer_signal()
#define qos_exit_critical()     qqos_disable_timer_signal()


// debug manager------------------------
void qos_verify_process( const char * const exp, const char * const file_name, int line );

// timer -------------------------------
bool qos_time_tick_init(void);

void qqos_enable_timer_signal(void);
void qqos_disable_timer_signal(void);


// no more



